Computational Analysis of the Impact on India of the Uruguay Round and the Forthcoming WTO Trade Negotiations

The Indian economy has experienced a major transformation during the decade of the 1990s. Apart from the impact of various unilateral economic reforms undertaken since 1991, the economy also had to reorient itself to the changing multilateral trade discipline within the newly written GATT-WTO framework. The unilateral trade policy measures have encompassed exchange-rate policy, foreign investment, external borrowing, import licensing, custom tariffs, and export subsidies. The multilateral aspect of India's trade policy refers to India's WTO commitments regarding trade in goods and services, trade-related investment measures, and intellectual property rights. The present study analyzes the economic effects on India and other major trading countries/regions of the Uruguay Round (UR) trade liberalization and the liberalization that might be undertaken in a new WTO negotiating round. India's welfare gain is expected ot be 1.1% ($4.7 billion over its 2005 GDP) when the UR scenarios get fully implemented. The additional welfare gain is an estimated 2.7$11.4 billion) when the assumed future WTO round of multilateral trade liberalization is achieved. Resources would be allocated in India to the labor-intensive sectors such as textiles, clothing, leather and leather products, and food, beverages, and tobacco. These sectors would also experience growth in output and exports. Real returns to both labor and capital would increase in the economy. The scale effect (percent change in output per firm) is positive for all the ten sectors of manufacturing, indicating that Indian firms become more efficient than before. Finally, even if India undertakes unilateral trade liberalization of the order indicated in the WTO multilateral scenarios, it would still benefit, although less so than with multilateral liberalization.http://deepblue.lib.umich.edu/bitstream/2027.42/39696/3/wp312.pd

Proteomic and Metabolomic Profiling in Soft Tissue Sarcomas.

OPINION STATEMENT: Advances in proteomic and metabolomic technologies have accelerated our understanding of multiple aspects of cancer biology across distinct tumour types. Here we review the current state-of-the-art in the use of proteomics and metabolomics in soft tissue sarcomas. We highlight the utility of these Omics-based methodologies to identify new drug targets, synthetic lethal interactions, candidate therapeutics and novel biomarkers to facilitate patient stratification. Due to the unbiased and global nature of these profiling methods to assess the levels of protein expression, post-translational modifications such as phosphorylation and glycosylation as well as key metabolites, many of these findings have broad applications not just in specific histotypes but across multiple STS subtypes. Specific examples of proteomic and metabolomic findings that have led to the development of early phase clinical trials of investigational agents will be discussed. While promising, the use of these technologies in the study of sarcoma is still limited, and there is a need for further research in this area. In particular, it would be important to integrate these approaches with other Omics strategies such as genomics and epigenomics as well as implement these tools alongside clinical trials in order to maximize the impact of these tools on our biological understanding and treatment of this group of rare diseases of unmet need

Computational Analysis of the Impact on India of the Uruguay Round and the Forthcoming WTO Trade Negotiations

The Indian economy has experienced a major transformation during the decade of the 1990s. Apart from the impact of various unilateral economic reforms undertaken since 1991, the economy also had to reorient itself to the changing multilateral trade discipline within the newly written GATT-WTO framework. The unilateral trade policy measures have encompassed exchange-rate policy, foreign investment, external borrowing, import licensing, custom tariffs, and export subsidies. The multilateral aspect of India's trade policy refers to India's WTO commitments regarding trade in goods and services, trade-related investment measures, and intellectual property rights. The present study analyzes the economic effects on India and other major trading countries/regions of the Uruguay Round (UR) trade liberalization and the liberalization that might be undertaken in a new WTO negotiating round. India's welfare gain is expected ot be 1.1% ($4.7 billion over its 2005 GDP) when the UR scenarios get fully implemented. The additional welfare gain is an estimated 2.7$11.4 billion) when the assumed future WTO round of multilateral trade liberalization is achieved. Resources would be allocated in India to the labor-intensive sectors such as textiles, clothing, leather and leather products, and food, beverages, and tobacco. These sectors would also experience growth in output and exports. Real returns to both labor and capital would increase in the economy. The scale effect (percent change in output per firm) is positive for all the ten sectors of manufacturing, indicating that Indian firms become more efficient than before. Finally, even if India undertakes unilateral trade liberalization of the order indicated in the WTO multilateral scenarios, it would still benefit, although less so than with multilateral liberalization.

A reduced semantics for deciding trace equivalence using constraint systems

Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be decided for interesting classes of finite processes (i.e., without replication) by means of symbolic execution and constraint solving. However, this does not suffice to obtain practical tools. Current prototypes suffer from a classical combinatorial explosion problem caused by the exploration of many interleavings in the behaviour of processes. M\"odersheim et al. have tackled this problem for reachability properties using partial order reduction techniques. We revisit their work, generalize it and adapt it for equivalence checking. We obtain an optimization in the form of a reduced symbolic semantics that eliminates redundant interleavings on the fly.Comment: Accepted for publication at POST'1

Measurement of B(D^0 → K^-π^+) Using Partial Reconstruction of B̅ → D^(*+)Xℓ^-ν̅

We present a measurement of the absolute branching fraction for D^0→K^-π^+ using the reconstruction of the decay chain B̅ →D^(*+)Xℓ^-ν̅ , D^(*+)→D^0π^+ where only the lepton and the low-momentum pion from the D^(*+) are detected. With data collected by the CLEO II detector at the Cornell Electron Storage Ring, we have determined B(D^0→K^-π^+) = [3.81±0.15(stat)±0.16(syst)]%

Formal Analysis of V2X Revocation Protocols

Research on vehicular networking (V2X) security has produced a range of security mechanisms and protocols tailored for this domain, addressing both security and privacy. Typically, the security analysis of these proposals has largely been informal. However, formal analysis can be used to expose flaws and ultimately provide a higher level of assurance in the protocols. This paper focusses on the formal analysis of a particular element of security mechanisms for V2X found in many proposals: the revocation of malicious or misbehaving vehicles from the V2X system by invalidating their credentials. This revocation needs to be performed in an unlinkable way for vehicle privacy even in the context of vehicles regularly changing their pseudonyms. The REWIRE scheme by Forster et al. and its subschemes BASIC and RTOKEN aim to solve this challenge by means of cryptographic solutions and trusted hardware. Formal analysis using the TAMARIN prover identifies two flaws with some of the functional correctness and authentication properties in these schemes. We then propose Obscure Token (OTOKEN), an extension of REWIRE to enable revocation in a privacy preserving manner. Our approach addresses the functional and authentication properties by introducing an additional key-pair, which offers a stronger and verifiable guarantee of successful revocation of vehicles without resolving the long-term identity. Moreover OTOKEN is the first V2X revocation protocol to be co-designed with a formal model.Comment: 16 pages, 4 figure